科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:细化:用于安全电子投票界面的正式软件设计的建设性方法
Dominique Cansell; Dominique Méry; Université Henripoincarénancy;
机译:使用细化演算的正式软件开发方法
机译:在硬件/软件协同设计中使用模式进行正式细化建模
机译:基于COOZ和细化演算的正式软件开发方法
机译:形式化和改进正式的折衷软件开发方法
机译:远程皮肤科咨询系统中基于角色的自适应用户界面设计:一种保护方法和一种增强方法
机译:完善:一种用于安全电子投票界面的正式软件设计的建设性方法
机译:使用正式的逆向工程和设计恢复方法来支持软件重用
机译:spornettet形式表示的铁路系统设计和运行方法
机译:BAC末端测序STC途径用shot弹枪进行基因组测序该软件设计编程模型,支持通过BAC末端测序STC途径通过shot弹枪进行基因组测序的自动和集成研究。
机译:设备正式验证一致性管理软件系统微控制器设计规范
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。